1041. Third International Conference on Software Reuse: Advances in Software Reusability : proceedings, November 1-4, 1994, Rio de Janeiro, Brazil
پدیدآورنده : edited by William B. Frakes ; sponsored by IEEE Computer Society Technical Council on Software Engineering, Sociedade Brasileira de Computacao )SBC( ; in cooperation with Association for Computing Machinery
کتابخانه: (طهران)
موضوع : Computer software - Reusability - Congresses
رده :
QA
76
.
76
.
R47
I587
1994
1042. Three-Dimensional Modeling with Geoscientific Information Systems
پدیدآورنده : edited by A. Keith Turner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geological modeling -- Congresses.,Information storage and retrieval systems -- Geology -- Congresses.,Information storage and retrieval systems -- Mines and mineral resources -- Congresses.
1043. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1044. Top productivity through software reus
پدیدآورنده : Klaus Schmid (ed.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer software, Reusability, Congresses
رده :
QA
،
76
.
76
،.
R47
1045. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده : Nigel P. Smart (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
1046. Towards a service-based Internet
پدیدآورنده : Witold Abramowicz ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses,Internet, Congresses
رده :
TK5105
.
875
.
I57
S47
2011
1047. Towards ubiquitous learning :
پدیدآورنده : Carlos Delgado Kloos [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Education-- Effect of technological innovations on, Congresses,Educational technology, Congresses,Web-based instruction, Congresses
رده :
LB1028
.
3
.
E955
2011
1048. Transactions on Engineering Technologies :
پدیدآورنده : Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
1049. Transactions on engineering technologies :
پدیدآورنده : Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
1050. Transactions on large-scale data- and knowledge-centered systems XXXVII /
پدیدآورنده : edited by Abdelkader Hameurlain, Roland Wagner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
1051. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
1052. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
1053. UIST'01 : proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, Orlando, Florida, November 11-14, 2001
پدیدآورنده : Sponsored by ACM SIGGRAPH, ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Computer software,Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
U83A23
2001
1054. UIST'00 : proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, San Diego, California, November 5-8, 2000
پدیدآورنده : sponsored by ACM SIGGRAPH and ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Interactive computer systems,Congresses ، Computer software
رده :
QA
76
.
9
.
U83A23
2000
1055. UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
پدیدآورنده : Jean-Marc Jezequel, Heinrich Hussmann, Stephen Cook )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2460
1056. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
1057. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
1058. Uncertainty management with fuzzy and rough sets :
پدیدآورنده : Rafael Bello, Rafael Falcon, José Luis Verdegay, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy sets, Congresses.,Rough sets, Congresses.,Computer simulation.,Engineering.,Operations research.
رده :
QA248
.
5
.
I584
2017
1059. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
1060. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
